home *** CD-ROM | disk | FTP | other *** search
Text File | 1992-03-05 | 804 b | 42 lines | [TEXT/Help] |
- {Lambda calculus in help: The church numbers}
-
-
- (define plus
- (lambda(n1)
- (lambda(n2)
- (lambda(f)
- (lambda(x)
- ((n1 f) ((n2 f) x)))))))
-
- (define zero (lambda(f) (lambda(x) x)))
-
- (define mul
- (lambda(n1)
- (lambda(n2)
- (lambda(f)
- (lambda(x)
- ((n1 (n2 f)) x))))))
-
- (define suc
- (lambda(n)
- (lambda(f)
- (lambda(x) ((n f)(f x))))))
-
- (define un (suc zero))
-
- (define deux (suc un))
-
- (define trois (suc deux))
-
- (define quatre ((mul deux)deux))
-
- (define exp
- (lambda(n1)
- (lambda(n2)
- (lambda(f)
- (lambda(x)
- (((n2 n1) f) x))))))
-
- ((((exp deux) trois) 1+ )0)
-
-